calculus of classes

См. также в других словарях:

• calculus of classes — algebra of classes …   Useful english dictionary

• calculus of individuals — a branch of symbolic logic designed to avoid the terminological platonism inherent in an algebra of classes by recourse to the notion of individuals especially in their relationships of overlapping, discreteness, and being a part …   Useful english dictionary

• algebra of classes — a branch of symbolic logic sometimes regarded as an independent discipline that deals with classes and has as its main operations the forming of logical products, sums, and complements called also calculus of classes; compare inclusion,… …   Useful english dictionary

• predicate calculus — Logic. See functional calculus. Also called predicate logic. [1945 50] * * * Part of modern symbolic logic which systematically exhibits the logical relations between propositions involving quantifiers such as all and some. The predicate calculus …   Universalium

• Secondary calculus and cohomological physics — In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the space of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and… …   Wikipedia

• AP Calculus — Advanced Placement Calculus (also known as AP Calculus) is used to indicate one of two distinct Advanced Placement courses and examinations offered by the College Board, AP Calculus AB and AP Calculus BC. AP Calculus ABAP Calculus AB is an… …   Wikipedia

• Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… …   Wikipedia

• Process calculus — In computer science, the process calculi (or process algebras) are a diverse family of related approaches to formally modelling concurrent systems. Process calculi provide a tool for the high level description of interactions, communications, and …   Wikipedia

• Typed lambda calculus — A typed lambda calculus is a typed formalism that uses the lambda symbol (lambda) to denote anonymous function abstraction. Typed lambda calculi are foundational programming languages and are the base of typed functional programming languages… …   Wikipedia

• Stochastic calculus — is a branch of mathematics that operates on stochastic processes. It allows a consistent theory of integration to be defined for integrals of stochastic processes with respect to stochastic processes. It is used to model systems that behave… …   Wikipedia

• Epsilon calculus — Hilbert s epsilon calculus is an extension of a formal language by the epsilon operator, where the epsilon operator substitutes for quantifiers in that language as a method leading to a proof of consistency for the extended formal language. The… …   Wikipedia